阐述了Ａｇｅｎｔ的形式化描述应该采用含有正规和非正规模态算子的混合模态逻辑为逻辑工具的观点。建立了Ａｇｅｎｔ－ＢＤＩ逻辑的代表系统Ａ－ＢＩ，讨论了它的语法和语......

采用实验的方法研究了铝钛硼、过量硅、稀土、AlTiBRE中间合金以及热处理方式对6063铝合金强度的影响，并分析了其内部机理。研究表......

当今的翻译研究呈现出多元的形态，各色各样的理论观点相继出场，以期对翻译这项人类特殊复杂的活动提供更为合理的解释。文章从语用学......